You have chosen Saunders MacLane, Paul Benacerraf and Saunders MacLane.
All three must be different; choose another philosopher.